== (r.2.2).1 

latex

---

clarification:

r == (r.2.2).1 

latex

Up	rng sig object directory
Wellformedness Lemmas	rng le wf
Definitions	t.1, t.2